Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
391	Detecting Ambiguity in Programming Language Grammars Naveneetha Vasudevan and Laurence Tratt Software Development Team, King’s College London http://soft-dev.org/ Add to Reading List Source URL: soft-dev.org Language: English - Date: 2015-06-08 18:44:11 Software engineering Ambiguous grammar Context-free grammar Formal grammar Parsing LL parser Terminal and nonterminal symbols LR parser Parsing expression grammar Formal languages Grammar Programming language implementation
392	Packrat Parsers Can Support Left Recursion ∗ Alessandro Warth James R. Douglass Todd Millstein Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Computer programming Parsing Compiler construction Recursion Programming idioms Parsing expression grammar Left recursion Top-down parsing LR parser Formal languages Software engineering Computing
393	NEWS \| I N D E P T H 18 tist at the Pacific Marine Environmental Laboratory in Seattle. “But you can’t rule Add to Reading List Source URL: www.johnbohannon.org Language: English - Date: 2015-04-08 13:18:33 Natural language generation Artificial intelligence applications Academic publishing Formal languages SCIgen Nonsense World Multiconference on Systemics Cybernetics and Informatics Academic conference Springer Science+Business Media Knowledge Academia Science
394	Journal of Machine Learning Research ?? (2013) ???-??? Submitted 10/12; Published ??/13 On the Learnability of Shuffle Ideals Dana Angluin Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:33:59 Symbol Semigroup Hilbert space Mathematics Formal languages Quantum mechanics
395	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
396	Morphology and Reranking for the Statistical Parsing of Spanish Brooke Cowan MIT CSAIL Abstract We present two methods for incorporating detailed features in a Spanish parser, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-12-21 17:22:25 Corpus linguistics Statistical natural language processing Formal languages Treebank Part-of-speech tagging Parsing Parse tree Stochastic context-free grammar Statistical parsing Linguistics Natural language processing Computational linguistics
397	Learning with Compositional Semantics as Structural Inference for Subsentential Sentiment Analysis Yejin Choi and Claire Cardie Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: blog.appinions.com Language: English - Date: 2014-10-31 15:21:37 Computational linguistics Grammar Natural language processing Semantics Formal languages Polarity item Sentiment analysis Heuristic English language Languages of Africa Languages of Oceania Culture
398	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
399	Courant Institute of Mathematical Sciences Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2006-09-28 11:41:45 Titles Courant Institute of Mathematical Sciences Professor Formal languages Tenure Harvard Faculty of Arts and Sciences Provost IP FO Education Knowledge Academia
400	The Monad.Reader Issue 16 by Aran Donohue and John W. Lato and Louis Wasserman May 12, 2010 Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2010-05-12 14:00:40 Models of computation Software engineering Computing Nondeterministic finite automaton Deterministic finite automaton Regular expression Monad Finite-state machine Regular language Automata theory Formal languages Theoretical computer science

UPDATE